#include <stdio.h>
#include <string.h>
int main()
{
	char N[1000] = {0};
	int output[10] = {0};
	int i = 0, num = 0;
	scanf("%s", &N);
	for(i = 0;i < strlen(N); i++){
		num = N[i] - '0';
		output[num]++;
	}

	for(i = 0; i < 10; i++){
		if(output[i] != 0){
			printf("%d:%d\n", i, output[i]);
		}
	}
	return 0;
}
